Iterative Combinational Logic Synthesis Techniques Using Spectral Data

Iterative Combinational Logic Synthesis Techniques Using Spectral Data

An iterative combinational logic synthesis technique using spectral information

The spectral information of a Boolean function provides data regarding the correlation between the input variables and the output of the function. This paper introduces a spectral based methodology for com-binational logic synthesis using linear transforms. An analysis of the properties of the spectra obtained from these transforms is provided and a synthesis algorithm using spectral techniques...

Structure-Driven Equivalence Verification for Circuits Optimized by Retiming and Combinational Synthesis

Sequential optimization techniques fall in two broad categories: state-based and structure-based [4]. Structurebased techniques optimize a circuit netlist by interleaving retiming and combinational synthesis in different ways to improve design metrics such as delay, area, and power. Examples of such optimizations include among others: peripheral retiming [7], architectural retiming [6], and ite...

Incremental Design Debugging in a Logic Synthesis Environment

In today’s complex and challenging VLSI design process, multiple logic errors may occur due to the human factor and bugs in CAD tools. The designer often faces the challenge of correcting an erroneous design implementation. This study describes a simulation-based logic debugging solution for combinational circuits corrupted with multiple design errors. Unlike other simulation-based techniques t...

Combinational logic synthesis for diversity in duplex systems

We describe logic synthesis techniques for designing diverse implementations of combinational logic circuits in order to maximize the data integrity of diverse duplex systems in the presence of common-mode failures. Data integrity means that the system either produces correct outputs or indicates errors when incorrect outputs are produced. Design diversity has long been used to increase the dat...